|
|
Formát XML pro značkování slovníků
Vavrečan, Lukáš ; Škoda, Petr (oponent) ; Smrž, Pavel (vedoucí práce)
Bakalářská práce se zabývá zpracováním elektronických slovníků ve formátě LMF, jejich analýzou a převodem do jednotné podoby. Cílem je vytvořit systém, který díky hromadným změnám ulehčí strojové zpracování slovníků. Přiblížíme si potřebné technologie, zejména Python3, formát XML a LMF.
|
|
|
Beyond Register Automata: Pushing the Border of Decidability
Gulčíková, Sabína ; Havlena, Vojtěch (oponent) ; Lengál, Ondřej (vedoucí práce)
Register automaton (RA) operating over infinite alphabet is one of the great tools for pattern matching with backreferences, runtime verification, or modelling of parallel computation. In case of pattern matching with backreferences, the state-of-the-art matchers make use of backtracking algorithms, whose application causes significant slowdown in case of nondeterministic regular expressions. Since RAs cannot always be determinised, it is an unsuitable model for solution to problems related to inefficient usage of backtracking algorithms. On the other hand, the RA's quality of being equipped by a finite memory serves as a good basis for storing the so-called capture groups used in pattern matching with backreferences. In this work, a formal model called register set automaton (RsA) is proposed. A large class of RAs can be transformed into this deterministic model, which, among other things, allows for fast pattern matching with backreferences. We explore RsA's properties including decidability of emptiness testing, determinisability, closure under Boolean operations and we compare it to other register models in context of their expressive power.
|
|
|
Hledání regulárních výrazů s využitím technologie FPGA
Kubiš, Juraj ; Fukač, Tomáš (oponent) ; Matoušek, Denis (vedoucí práce)
Bakalárska práca sa zaoberá možnosťami hardvérovej akcelerácie vyhľadávania regulárnych výrazov. Obsahom práce je analýza už existujúcich hardvérových architektúr a zhodnotenie ich pozitívnych a negatívnych vlastností. Na základe týchto poznatkov je navrhnutá architektúra. Tá je založená na deterministických konečných automatoch s implicitnými prechodmi (D2FA), je implementovaná v jazyku VHDL a je vykonaná jej syntéza. Výsledky syntézy sú analyzované za účelom zistenia celkovej priepustnosti architektúry. Je navrhnuté programové vybavenie na prevod regulárnych výrazov do podoby D2FA a na optimalizovanie tohoto automatu s cieľom minimalizovania pamäťových nárokov. Implementácia je overená a je zhodnotený prínos jednotlivých optimalizačných techník na redukciu pamäťových nárokov.
|
|
|
Detekce narušení počítačové sítě
Hank, Andrej ; Martínek, Tomáš (oponent) ; Kořenek, Jan (vedoucí práce)
Stále rastúce rozšírenie a priepustnosť počitačových sietí prináša mnoho bezpečnostných hrozieb. Jedným z prostriedkov zabezpečenia sú systémy detekcie narušenia (IDS). Nízka priepustnosť softwérových IDS vyúsťuje vo vývoj hardwérových akcelerátorov. Konkrétnym je sonda Traffic Scanner projektu Liberouter využívajúca technológiu FPGA. Jadro akcelerácie spočíva vo vyhľadávaní jednoduchých reťazcov v obsahu paketu. Komplexný popis reťazcov zaručujú regulárne výrazy. Táto práca obohacuje sondu Traffic Scanner o možnosť pokročilého vyhľadávania reťazcov pomocou Perl Compatible Regular Expressions (PCRE) implementovaným transformátorom. Ďalej prináša návrh a implementáciu programového vybavenia umožňujúceho využiť funkcionalitu akcelerátoru užívateľom. Podáva koncepciu detekcie narušenia sieťe s využítím sondy Traffic Scanner a možnosti spolupráce s inými bezpečnostnými zariadeniami.
|
|
|
A Tool for Creating Log Message Patterns
Hanus, Igor ; Janoušek, Vladimír (oponent) ; Smrčka, Aleš (vedoucí práce)
The thesis aims to create a portable web application for processing logs using combinations of Grok patterns and regular expressions to create a pattern for individual log messages with the possibility of exporting them into YAML format that can be processed by the tool Plogchecker. The application was implemented using the React JavaScript library using the TypeScript language. Processing of individual regular expressions is achieved using the Oniguruma library, which is integrated into the application using WebAssembly. The reason for using the Oniguruma library was the incompatibility between regular expression compilers specified by the ECMAScript standard and compilers used for Grok patterns. Automated testing and user testing were conducted, and identified flaws were addressed.
|
|
|
Beyond Register Automata: Pushing the Border of Decidability
Gulčíková, Sabína ; Havlena, Vojtěch (oponent) ; Lengál, Ondřej (vedoucí práce)
Register automaton (RA) operating over infinite alphabet is one of the great tools for pattern matching with backreferences, runtime verification, or modelling of parallel computation. In case of pattern matching with backreferences, the state-of-the-art matchers make use of backtracking algorithms, whose application causes significant slowdown in case of nondeterministic regular expressions. Since RAs cannot always be determinised, it is an unsuitable model for solution to problems related to inefficient usage of backtracking algorithms. On the other hand, the RA's quality of being equipped by a finite memory serves as a good basis for storing the so-called capture groups used in pattern matching with backreferences. In this work, a formal model called register set automaton (RsA) is proposed. A large class of RAs can be transformed into this deterministic model, which, among other things, allows for fast pattern matching with backreferences. We explore RsA's properties including decidability of emptiness testing, determinisability, closure under Boolean operations and we compare it to other register models in context of their expressive power.
|
|
|
Hledání regulárních výrazů s využitím technologie FPGA
Kubiš, Juraj ; Fukač, Tomáš (oponent) ; Matoušek, Denis (vedoucí práce)
Bakalárska práca sa zaoberá možnosťami hardvérovej akcelerácie vyhľadávania regulárnych výrazov. Obsahom práce je analýza už existujúcich hardvérových architektúr a zhodnotenie ich pozitívnych a negatívnych vlastností. Na základe týchto poznatkov je navrhnutá architektúra. Tá je založená na deterministických konečných automatoch s implicitnými prechodmi (D2FA), je implementovaná v jazyku VHDL a je vykonaná jej syntéza. Výsledky syntézy sú analyzované za účelom zistenia celkovej priepustnosti architektúry. Je navrhnuté programové vybavenie na prevod regulárnych výrazov do podoby D2FA a na optimalizovanie tohoto automatu s cieľom minimalizovania pamäťových nárokov. Implementácia je overená a je zhodnotený prínos jednotlivých optimalizačných techník na redukciu pamäťových nárokov.
|
|
|
Detekce narušení počítačové sítě
Hank, Andrej ; Martínek, Tomáš (oponent) ; Kořenek, Jan (vedoucí práce)
Stále rastúce rozšírenie a priepustnosť počitačových sietí prináša mnoho bezpečnostných hrozieb. Jedným z prostriedkov zabezpečenia sú systémy detekcie narušenia (IDS). Nízka priepustnosť softwérových IDS vyúsťuje vo vývoj hardwérových akcelerátorov. Konkrétnym je sonda Traffic Scanner projektu Liberouter využívajúca technológiu FPGA. Jadro akcelerácie spočíva vo vyhľadávaní jednoduchých reťazcov v obsahu paketu. Komplexný popis reťazcov zaručujú regulárne výrazy. Táto práca obohacuje sondu Traffic Scanner o možnosť pokročilého vyhľadávania reťazcov pomocou Perl Compatible Regular Expressions (PCRE) implementovaným transformátorom. Ďalej prináša návrh a implementáciu programového vybavenia umožňujúceho využiť funkcionalitu akcelerátoru užívateľom. Podáva koncepciu detekcie narušenia sieťe s využítím sondy Traffic Scanner a možnosti spolupráce s inými bezpečnostnými zariadeniami.
|
|
|
Formát XML pro značkování slovníků
Vavrečan, Lukáš ; Škoda, Petr (oponent) ; Smrž, Pavel (vedoucí práce)
Bakalářská práce se zabývá zpracováním elektronických slovníků ve formátě LMF, jejich analýzou a převodem do jednotné podoby. Cílem je vytvořit systém, který díky hromadným změnám ulehčí strojové zpracování slovníků. Přiblížíme si potřebné technologie, zejména Python3, formát XML a LMF.
|
host ::
RSS.